Scientia est potentia

Scientia potentia est

In epistemic logic, Kripke structures are used to model the distribution of information in a multi-agent system. In this paper, we present an approach to quantifying how much information each particular agent in a system has, or how important the agent is, with respect to some fact represented as a goal formula. It is typically the case that the goal formula is distributed knowledge in the syst...

Technoscientia est Potentia?

Within the realm of nano-, bio-, info- and cogno- (or NBIC) technosciences, the 'power to change the world' is often invoked. One could dismiss such formulations as 'purely rhetorical', interpret them as rhetorical and self-fulfilling or view them as an adequate depiction of one of the fundamental characteristics of technoscience. In the latter case, a very specific nexus between science and te...

Potentia Est Scientia: Security and Privacy Implications of Energy-Proportional Computing

The trend toward energy-proportional computing, in which power consumption scales closely with workload, is making computers increasingly vulnerable to information leakage via whole-system power analysis. Saving energy is an unqualified boon for computer operators, but this trend has produced an unintentional side effect: it is becoming easier to identify computing activities in power traces be...

Sine ars scientia nihil est: Leonardo da Vinci and beyond.

The aim of this article is to reflect on the relationship between art and science so far as it concerns a symposium on neurosciences. We undertake a historical overview of that relationship, paying particular attention to the sui generis case of Leonardo da Vinci, who very often is regarded as the man who worked on art and science with equal ease. We then explain why his idea of merging these t...

Acta Biomedica Scientia